#ifndef syscall_h
#define syscall_h

#include <common/types.h>

OS_NAMESPACE_BEGIN

class SyscallHandler : public hardwarecommunication::InterruptHandler
{};

OS_NAMESPACE_END


#endif // header file
